Logic model

Results: 5700



#Item
161Systems science / Science / Philosophy / Algorithm / Mathematical logic / Theoretical computer science / Expected value / Team / Mathematical optimization / Robotics / Robot / Agent-based model

Modeling Mutual Capabilities in Heterogeneous Teams for Role Assignment Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and velos

Add to Reading List

Source URL: somchaya.org

Language: English - Date: 2014-05-05 11:44:08
162Logic model / Impact assessment / Evaluation / Methodology / Analysis

Evaluation Support Scotland Newsletter - *| MCSUBJECT| * In this update we let you know of a number of networking events we will be having to share learning

Add to Reading List

Source URL: www.evaluationsupportscotland.org.uk

Language: English - Date: 2013-09-18 11:51:17
163Theoretical computer science / Process calculi / Jane Hillston / PEPA / Logic in computer science / Metaphor / Simulation / Scientific modelling / Stochastic / Mathematical model / Semantics / Economic model

Bio-PEPA: A collective dynamics approach to systems biology Jane Hillston. University of Edinburgh. Introduction

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-05-11 05:00:03
164Logic / Mathematics / Physical quantities / Electrical impedance / Electrical resistance and conductance / Nondestructive testing / Model theory / Structure / Measurement

FINAL REPORT of Ilona Dzenite Marie Curie Control Training Site Fellowship HPMTGH0100278109 Research Project: Impedance Change and the Calculus of Variations Home Institute: Riga Technical University, Latvia

Add to Reading List

Source URL: ceoc.mat.ua.pt

Language: English - Date: 2008-07-17 10:24:31
165Education / Psychology / Behavior / Social learning theory / Media literacy / Learning theory / Drug Abuse Resistance Education / Peer pressure

Microsoft Word - Revised Logic Model TGFD K-5

Add to Reading List

Source URL: www.toogoodprograms.org

Language: English - Date: 2014-11-03 12:40:24
166Mathematics / Mathematical logic / Model theory / Structure / Universal algebra / Logic / Measure / Philosophy of mathematics

Version 5 Free homogeneous structures are generalised measurable Will Anscombe University of Leeds

Add to Reading List

Source URL: www.maths.dur.ac.uk

Language: English - Date: 2015-08-17 06:12:14
167Security / Logic / Non-classical logic / Philosophical logic / Planar graphs / Platonic solids / W5 / Cyber-physical system / Computer security / Modal logic / Symbol / Regular icosahedron

A Multiple Security Domain Model of a Drive-by-Wire System

Add to Reading List

Source URL: cs.mst.edu

Language: English - Date: 2015-04-03 16:07:48
168Logic / Logical connectives / Semantics / Philosophical logic / Model theory / Formal languages / Propositional calculus / Interpretation / First-order logic / If and only if / False / Modal logic

TRANSLATIONS IN SENTENTIAL LOGIC.

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
169Mathematics / Algebraic structures / Model theory / Mathematical logic / Universal algebra / Ramsey theory / Structure / Ramsey class / FO / Semigroup / Lattice

Ramsey Classes by Partite Construction II Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science

Add to Reading List

Source URL: www.ucw.cz

Language: English - Date: 2015-07-25 03:57:12
170Automated theorem proving / Theoretical computer science / Mathematical logic / Software engineering / TPTP / Automated reasoning / SPASS / Reasoning system / Prolog / Model elimination / OMDoc / System on TPTP

CADE-18 Workshop: Problems and Problem Sets Contents:  John Harrison Invited talk: Extracting Test Problems from Real Applications  J

Add to Reading List

Source URL: www.cs.miami.edu

Language: English - Date: 2002-06-13 14:56:18
UPDATE